package windbell.domain.risk;

import edu.fudan.mylang.pf.EntityImplementation;
import java.util.Date;
import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
import windbell.domain.risk.RiskCheck;
import windbell.domain.risk.RiskCheckSource;
import windbell.domain.risk.impl.RiskCheckFromParkImpl;
import windbell.domain.risk.proxy.RiskCheckFromParkProxy;

@EntityImplementation(implementBy = RiskCheckFromParkImpl.class)
public interface RiskCheckFromPark extends RiskCheckSource {
  public abstract String getTitle();
  
  public abstract RiskCheckFromPark setTitle(final String title);
  
  public abstract Date getDueDate();
  
  public abstract RiskCheckFromPark setDueDate(final Date dueDate);
  
  public abstract String getEntityName();
  
  public abstract RiskCheck createRiskCheck(final Procedure1<? super RiskCheck> init);
  
  public abstract RiskCheckFromParkProxy toProxy();
}
